Albert Visser
証明可能性論理
などで活躍